Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
721	ACM 2007 Turing Award Edmund Clarke, Allen Emerson, and Joseph Sifakis Model Checking: Algorithmic Verification and Debugging ACM Turing Award Citation In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Logic in computer science Temporal logic Model checkers Formal methods Model checking Formal verification Linear temporal logic Computation tree logic CTL* Theoretical computer science Mathematical logic Applied mathematics
722	2 A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification Professor Joseph Sifakis, http://www-verimag.imag.fr/~sifakis, is a Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Turing Award laureates Formal methods Joseph Sifakis Cybernetics Systems theory Component-based software engineering Model checking Turing Award Amir Pnueli Computer science Science Software engineering
723	Grant Agreement: [removed]Comprehensive Modelling for Advanced Systems of Systems Model-based Engineering for Systems of Systems: the COMPASS Manifesto Technical Note Number: Manifesto Add to Reading List Source URL: www.compass-research.eu Language: English - Date: 2013-11-12 03:49:22 Knowledge Systems science Cybernetics Complex systems theory System of systems Emergence System Formal verification Formal methods Science Systems engineering Systems theory
724	Automated Interface Synthesis for Mismatched Protocols Vijay D’silva & S. Ramesh & Arcot Sowmya Center for Formal Design and Verification of Software, IIT Bombay School of Computer Science and Engineering, University o Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2004-02-16 09:13:29 Information Conventional PCI Transmission Control Protocol Communications protocol Computing Data Computer buses
725	Conditional Model Checking: A Technique to Pass Information between Verifiers Dirk Beyer University of Passau Germany Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Applied mathematics Logic in computer science Model checking Formal verification Assertion Automated theorem proving Function Economic model Software verification Theoretical computer science Mathematics Formal methods
726	ETAPS Daily Issue 6 Thursday, March 21st, 2013 A new “Pope” for ETAPS The banquet of yesterday night was the last official event where Prof. Vladimiro Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2013-03-25 04:51:00 Science ProVerif Cryptography Formal verification Protocol Mathematical sciences Cryptographic protocols Cryptographic software Applied mathematics
727	Precision Reuse for Efficient Regression Verification † Dirk Beyer 1 , Stefan Löwe 1 , Evgeny Novikov 2 , Andreas Stahlbauer 1 , and Philipp Wendler 1 1 Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:23 Formal methods Logic in computer science Model checkers Software testing Software verification Formal verification Model checking Verification and validation BLAST model checker Theoretical computer science Applied mathematics Mathematical software
728	Automated Semantic Analysis of Design Models Frank Weil, Brian Mastenbrook, David Nelson, Paul Dietz, Aswin van den Berg Motorola, Schaumburg, IL 60196, USA, {frank.weil, brian.mastenbrook, david.c.nelson paul.f.dietz, a Add to Reading List Source URL: brian.mastenbrook.net Language: English - Date: 2007-07-05 20:46:27 Software development Software engineering Entity-relationship model Conceptual model Formal verification Executable UML Unified Modeling Language Data modeling Modeling language Scientific modeling
729	Why3 Modern automatic theorem prover Based on SMT technology Qualification DO-178 B/C (avionic) Used in industrial world Add to Reading List Source URL: alt-ergo.ocamlpro.com Language: English - Date: 2014-07-02 21:39:26 Ada programming language Formal methods Frama-C SPARK Logic in computer science Automated theorem proving AdaCore Ada Formal verification Computing Software engineering Computer programming
730	Innovative Approach for Requirements Verification of Closed Systems Jose Reis, Critical Software Technologies Brett Bicknell, Critical Software Technologies Michael Butler, University of Southampton John Colley, Universi Add to Reading List Source URL: www.erts2014.org Language: English - Date: 2014-01-10 03:48:47 Science Software Software requirements Software engineering Model checking Formal verification Software development process Verification B-Method Software development Formal methods Systems engineering

UPDATE